Section: New Software and Platforms
Ltac2
Keywords: Coq - Proof assistant
Functional Description: A replacement for Ltac, the tactic language of Coq.
Keywords: Coq - Proof assistant
Functional Description: A replacement for Ltac, the tactic language of Coq.